redouble one's efforts